Testing for safety

Assessment and Monitoring for Railway Tracks Reliability and Safety using Nondestructive Testing Measurement Systems

The deterioration of railway tracks raises great concerns about the integrity of assessments and evaluations of railway tracks currently in service. Integrated inspection strategies coupled with innovations in inspection technology can lead to significant improvements in operational cost efficiency and reliability without the requirement of a fundamental shift in the existing understanding o...

From Safety Veri cation to Safety Testing

A methodology that combines veri cation and conformance testing for validating safety requirements of reactive systems is presented The requirements are rst automatically veri ed on the system s speci cation Then test cases are automatically derived from the speci cation and the requirements and executed on a black box implementation of the system The test cases attempt to push the implementati...

Integrated Testing Strategies (ITS) for safety assessment.

Integrated testing strategies (ITS), as opposed to single definitive tests or fixed batteries of tests, are expected to efficiently combine different information sources in a quantifiable fashion to satisfy an information need, in this case for regulatory safety assessments. With increasing awareness of the limitations of each individual tool and the development of highly targeted tests and pre...

From Safety Verification to Safety Testing

A methodology that combines verification and conformance testing for validating safety requirements of reactive systems is presented. The requirements are first automatically verified on the system’s specification. Then, test cases are automatically derived from the specification and the requirements, and executed on a black-box implementation of the system. The test cases attempt to push the i...

Testing Methods for Agriculture and Food Safety